Mittelgeber :
Forschungsbericht : 1994-1996
Tel./ Fax.:
Mit Hilfe der vom Autor gefundenen Verfeinerungen und Generalisierungen von J. Kruskal & H. Friedman'schen Sätzen wird beweistheoretische Stärke von bekannten Theorien durch rein kombinatorische Theoreme charakterisiert. Speziell liefert dieses Verfahren eine verbesserte algorithmische Darstellung der in Peano Arithmetik beweisbaren total rekursiven Funktionen.
INDEX
HOME
SUCHEN
KONTAKT
LINKS
qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 30.11.96